La asombrosa demostración de un científico informático representa el primer avance en 50 años sobre una de las preguntas más reconocidas en el ámbito de la informática.